Elective Theoretical Computer Science

Module	Title	LV Type	CP	LV	Dates
Algorithmic Foundations of Datascience	Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	585082
	Algorithmic Foundations of Data Science	Übung		579319	Mi 12:30-14:00 AH I (2350\|028) (×15)
	Algorithmic Foundations of Data Science	Vorlesung		579330	Di 16:30-18:00 AH I (2350\|028) (×15) Do 14:30-16:00 AH I (2350\|028) (×15)
Algorithmic Learning Theory	Algorithmische Lerntheorie	Fach-/Modulprüfung	6	582076
Algorithmic Model Theory I	Algorithmische Modelltheorie	Fach-/Modulprüfung	9	582183
Compiler Construction	Compilerbau	Fach-/Modulprüfung	6	582126
Efficient Algorithms	Effiziente Algorithmen	Fach-/Modulprüfung	6	581823
Linear Optimization and Network Algorithms	Prüfung Lineare Optimierung und Netzwerkalgorithmen	Fach-/Modulprüfung	9	583412
	Lineare Optimierung und Netzwerkalgorithmen	Übung		579682	Mi 08:30-10:00 R 140 (1080\|140) (×15) Fr 12:30-14:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×2)
	Lineare Optimierung und Netzwerkalgorithmen	Vorlesung		580046	Mo 08:30-10:00 III (1010\|107) (×15) Fr 12:30-14:00 V (1010\|213) (×15)
Logic and Games	Logik und Spiele	Fach-/Modulprüfung	8	584059
Logic and Games	Logik und Spiele	Fach-/Modulprüfung	8	584058
Mathematical Logic II	Mathematische Logik II	Fach-/Modulprüfung	6	582180
Model Checking	Model Checking	Fach-/Modulprüfung	6	585086
	Introduction to Model Checking	Übung		577398	Fr 12:30-14:00 AH I (2350\|028) (×15)
	Introduction to Model Checking	Vorlesung		578334	Mi 14:30-16:00 AH I (2350\|028) (×15) Do 16:30-18:00 AH I (2350\|028) (×15)
Module Complexity Theory	Komplexitätstheorie	Fach-/Modulprüfung	6	582407
Satisfiability Checking	Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	582368
Satisfiability Checking	Erfüllbarkeitsüberprüfung	Vorlesung/Übung		578303	Mo 10:30-12:00 AH V (2356\|050) (×15) Mi 14:30-16:00 AH V (2356\|050) (×15) Fr 14:30-15:15 5056 (2356\|056) (×15)